Что (кто) такое type theory - определение
Type theory
CONCEPT IN MATHEMATICAL LOGIC AND COMPUTER SCIENCE
Typed logic; Theory of types; Type Theory; Theory of Types; Type-theoretic; Type (mathematics); System of types; Logical type; Theory of Logical Types; Equality type; Propositional equality; Type (type theory); Draft:Universe (type theory); Universe types; Elementary Theory of the Category of Sets; Universe type; Applications of type theory; List of type theories; Natural language semantics and type theory
In mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of mathematics.
Intuitionistic type theory
ALTERNATIVE FOUNDATION OF MATHEMATICS
Intuitionistic Theory of Types; Constructive type theory; Intuitionistic theory of types; Constructivist type theory; Martin-Löf Type Theory; Constructive Type Theory; Martin-Löf type theory; Martin-Loef's type theory; Martin-Löf's type theory; Intuitionistic Type Theory; Martin-Lof type theory; Martin-Lof's type theory; Martin-Loef type theory; Martin-Lof Type Theory; Martin-Loef Type Theory; Intensional type theory; Extensional type theory; Inductive family; Martin–Löf type theory
Intuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics.
Type II string theory
10-DIMENSIONAL STRING THEORY WITH N=2 SUPERSYMMETRY (32 SUPERCHARGES), EITHER AS N=(2,0) (TYPE IIA) OR N=(1,1) (TYPE IIB)
Type IIB string; Type IIB string theory; Type IIB superstring; Type IIB superstring theory; Type IIA string theory; Type IIA superstring; Type IIA superstring theory; Type IIA string; Type II superstring; Type II superstring theory; Type II string; Type II A string theory; Type II B string theory; Type IIB; Type 2 string theory; Type IIA
In theoretical physics, type II string theory is a unified term that includes both type IIA strings and type IIB strings theories. Type II string theory accounts for two of the five consistent superstring theories in ten dimensions.
